Weakly complete axiomatization of exogenous quantum propositional logic

A weakly complete finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The proof is carried out using a non trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin style completions.Comment: 28 page

"Suspended lives": Institutional challenges towards refugees' self-determination

Four years have passed since asylum applications in Europe reached their peak. From that moment onwards, there’s been a consistent remission of the influx. In 2018 requests dropped to nearly half of those in 2015. While numbers might contribute to political rhetorics claiming that the so-called European refugee crisis has come to an end, the critical scenarios are far from being over. On one hand, it has revealed the frailty of the EU’s humanitarian and democratic values. Specially in those countries where populist nationalism is on the rise, promoting xenophobic attitudes. On the other, asylum seekers and refugees are still facing big challenges related to integration and participation in social life. The inefficiency of organizations in providing support, has showed the limitations of highly bureaucratized systems in responding to the demands of increasingly complex and pluralistic societies. In other words, the forces of social acceleration (Rosa, 2010) and rapid social change are overrunning institutional responsiveness, while creating conditions for alienation. Drawing from the results of 14 semi-structured interviews to asylum seekers and refugees, and one focus group with 12 stakeholders, this paper will focus on experiences of integration and participation in Portuguese society, highlighting the (missing) nexus, between agency and structural factors, that determine the subjects’ autonomy. This study is part of a greater body of research within the framework of the PandPAS project, backed by the EU’s AMIF, which objective is to develop improved processes of welcoming and first integration.info:eu-repo/semantics/publishedVersio

Random walks in directed modular networks

Because diffusion typically involves symmetric interactions, scant attention has been focused on studying asymmetric cases. However, important networked systems underlain by diffusion (e.g. cortical networks and WWW) are inherently directed. In the case of undirected diffusion, it can be shown that the steady-state probability of the random walk dynamics is fully correlated with the degree, which no longer holds for directed networks. We investigate the relationship between such probability and the inward node degree, which we call efficiency, in modular networks. Our findings show that the efficiency of a given community depends mostly on the balance between its ingoing and outgoing connections. In addition, we derive analytical expressions to show that the internal degree of the nodes do not play a crucial role in their efficiency, when considering the Erd\H{o}s-R\'enyi and Barab\'asi-Albert models. The results are illustrated with respect to the macaque cortical network, providing subsidies for improving transportation and communication systems

Developmental Plasticity in Butterfly Eyespot Mutants: Variation in Thermal Reaction Norms across Genotypes and Pigmentation Traits

Developmental plasticity refers to the property by which a genotype corresponds to distinct phenotypes depending on the environmental conditions experienced during development. This dependence of phenotype expression on environment is graphically represented by reaction norms, which can differ between traits and between genotypes. Even though genetic variation for reaction norms provides the basis for the evolution of plasticity, we know little about the genes that contribute to that variation. This includes understanding to what extent those are the same genes that contribute to inter-individual variation in a fixed environment. Here, we quantified thermal plasticity in butterfly lines that differ in pigmentation phenotype to test the hypothesis that alleles affecting pigmentation also affect plasticity therein. We characterized thermal reaction norms for eyespot color rings of distinct Bicyclus anynana genetic backgrounds, corresponding to allelic variants affecting eyespot size and color composition. Our results reveal genetic variation for the slope and curvature of reaction norms, with differences between eyespots and between eyespot color rings, as well as between sexes. Our report of prevalent temperature-dependent and compartment-specific allelic effects underscores the complexity of genotype-by-environment interactions and their consequence for the evolution of developmental plasticity.info:eu-repo/semantics/publishedVersio